Log in or Sign up
predicate logic love

predicate logic

Definitions

from Wiktionary, Creative Commons Attribution/Share-Alike License.

  • noun logic The generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic or infinitary logic.
  • noun logic First-order logic.

Etymologies

Sorry, no etymologies found.

Support

Help support Wordnik (and make this page ad-free) by adopting the word predicate logic.

Examples

    Sorry, no example sentences found.

Log in or sign up to add your own related words.

hyponyms (4)

Words more specific or concrete

  1. first-order logic
  2. infinitary logic
  3. many-sorted logic
  4. second-order logic

forms (1)

Forms

  1. monadic predicate logic

relateds (1)

relateds

  1. predicate calculus

Comments

Log in or sign up to get involved in the conversation. It's quick and easy.